$k$ declared in $M$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$k$ $\in$ dom(1of(2of($M$)))